181. Automata, logics, and infinite games
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
182. Automata, logics, and infinite games
Author: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
Classification :
QA
,
76
.
9
,.
M35
,
A85
,
2002
183. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
9
.
M35
A85
2002
184. BASIC programs for scientists and engineers
Author: Miller, Alan R., 2391-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Mathematics- Computer programs,، Science- Computer programs,، Engineering- Computer programs,، BASIC )Computer program language(
Classification :
QA
76
.
95
.
M53
1981
185. BASIC programs for scientists and engineers
Author: Miller, Alan R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Computer programs,، Science-- Computer programs,، Engineering-- Computer program,، Basic )Computer program language(
Classification :
QA
76
.
95
.
M53
1981
186. Barriers and Challenges in Computational Fluid Dynamics
Author: edited by V. Venkatakrishnan, Manuel D. Salas, Sukumar R. Chakravarthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Mechanics.,Physics.
187. Basic Concepts in Computational Physics /
Author: by Benjamin A. Stickler, Ewald Schachinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Applied mathematics.,Chemistry, Physical and theoretical.,Computer science-- Mathematics.,Engineering mathematics.,Physics.,Chemistry, Physical and theoretical.,Computer science-- Mathematics.,Engineering mathematics.,Physics.
Classification :
QC1-999
188. Beginning math and physics for game programmers
Author: / Wendy Stahler
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science- Mathematics,Computer games- Programming,Physics- Data processing
Classification :
QA76
.
9
.
M35
,
S73
2004
189. Best Approximation in Inner Product Spaces
Author: by Frank Deutsch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Global analysis (Mathematics).,Mathematics.
190. Big data in engineering applications /
Author: Sanjiban Sekhar Roy, Pijush Samui, Ravinesh Deo, Stavros Ntalampiras, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data.,Computational intelligence.,Computer science-- Mathematics.,Engineering.,Big data.,Computational intelligence.,Computer science-- Mathematics.,COMPUTERS-- Data Processing.,Engineering.
Classification :
Q342
191. Biostatistic and Computer Applications
Author: Goswami Rajeev
Library: Central Library and Documentation Center (Semnan)
Subject: Mathematics ، Computer science
Classification :
QA
76
.
9
.
B46G77
2009
192. Bitcoin, Blockchain Technology, and Secure Hash Algorithms
Author: Plummer, Daniel Eugene
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Electrical engineering,Mathematics
193. Bitcoin, Blockchain Technology, and Secure Hash Algorithms
Author: Plummer, Daniel Eugene
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Electrical engineering,Mathematics
194. Boolean function complexity : advances and frontiers
Author: Stasys Jukna
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computational complexity,، Computer science -- Mathematics,، Combinatorial analysis
Classification :
QA
267
.
7
.
J84B6
195. Boundary Element Techniques in Computer-Aided Engineering
Author: edited by C.A. Brebbia.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science -- Mathematics.,Mathematics.
196. Boundary Value Problems for Engineers
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Engineering mathematics. ; Computer science. ; Computer engineering. ; Engineering Mathematics. ;
197. Bounded Queries in Recursion Theory
Author: by William I. Gasarch, Georgia A. Martin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
198. Building Innovation Pipelines through Computer-Aided Innovation
Author: edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
199. Building bridges :between mathematics and computer science
Author: / [edited by] Martin Groetschel, Gyula O.H. Katona
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Computer science -- Mathematics,-- Congresses
Classification :
004
.
0151
B932
2008
200. Building bridges: between mathematics and computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lovasz, Loszlo, 8491-,Congresses ، Computer science-- Mathematics,Congresses ، Combinatorial analysis
Classification :
QA
76
.
9
.
M35
.
B85
2008
